package sketch.symbolic;

import org.eclipse.jdt.core.dom.CompilationUnit;

import sketch.specs.SketchTestProcessor;
import junit.framework.TestCase;

public class SymbolicValueExampleTest extends TestCase {
	
	String sketch_path = "./testfiles/sketch/symbolic/OnlySymbolicValueExamples.java";
	int test_limit = 500;
	int time_limit = 10;
	
	public void testSymbolicExample() {
		SketchTestProcessor processor = new SketchTestProcessor(sketch_path);
		CompilationUnit newUnit = processor.getProcessedCompilationUnit();
		
		//the algorithm for generating unit tests
		//the symbolic execution is the last step, after expansion, and random testing
		//process the test sketch, expand the notation, doing random testing
		//to create the value
		// for each generated test
		// do symbolic execution, and then do value replacement
		
		//need to check
		//1. only one method for symbolic execution
		//2. given the symbolic execution method name
		
		String symb_method = "";
		
		System.out.println(newUnit);
	}	
}